Towards a Formal TMQL Semantics
Identifieur interne : 001612 ( Main/Exploration ); précédent : 001611; suivant : 001613Towards a Formal TMQL Semantics
Auteurs : Robert Barta [Australie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2007.
Abstract
Abstract: TMQL, the upcoming standardized Topic Maps query language, may become the main work horse for semantic web applications based on the Topic Maps paradigm. While the current specification uses prose to declare the intended meaning of various language constructs, this work is an approach to a complete formal semantics. It details the static semantics as a translation from TMQL expressions into TMRM path expressions and presents for these low-level expressions a structural definition and the dynamic semantics.
Url:
DOI: 10.1007/978-3-540-71945-8_10
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000164
- to stream Istex, to step Curation: 000164
- to stream Istex, to step Checkpoint: 000498
- to stream Main, to step Merge: 001638
- to stream Main, to step Curation: 001612
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Towards a Formal TMQL Semantics</title><author><name sortKey="Barta, Robert" sort="Barta, Robert" uniqKey="Barta R" first="Robert" last="Barta">Robert Barta</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:46C84262A4DDEA6155D2580742B7C4E9768B758F</idno><date when="2007" year="2007">2007</date><idno type="doi">10.1007/978-3-540-71945-8_10</idno><idno type="url">https://api.istex.fr/document/46C84262A4DDEA6155D2580742B7C4E9768B758F/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000164</idno><idno type="wicri:Area/Istex/Curation">000164</idno><idno type="wicri:Area/Istex/Checkpoint">000498</idno><idno type="wicri:doubleKey">0302-9743:2007:Barta R:towards:a:formal</idno><idno type="wicri:Area/Main/Merge">001638</idno><idno type="wicri:Area/Main/Curation">001612</idno><idno type="wicri:Area/Main/Exploration">001612</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Towards a Formal TMQL Semantics</title><author><name sortKey="Barta, Robert" sort="Barta, Robert" uniqKey="Barta R" first="Robert" last="Barta">Robert Barta</name><affiliation><wicri:noCountry code="subField">School of Information Technology</wicri:noCountry></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Australie</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2007</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">46C84262A4DDEA6155D2580742B7C4E9768B758F</idno><idno type="DOI">10.1007/978-3-540-71945-8_10</idno><idno type="ChapterID">Chap10</idno><idno type="ChapterID">10</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: TMQL, the upcoming standardized Topic Maps query language, may become the main work horse for semantic web applications based on the Topic Maps paradigm. While the current specification uses prose to declare the intended meaning of various language constructs, this work is an approach to a complete formal semantics. It details the static semantics as a translation from TMQL expressions into TMRM path expressions and presents for these low-level expressions a structural definition and the dynamic semantics.</div></front></TEI><affiliations><list><country><li>Australie</li></country></list><tree><country name="Australie"><noRegion><name sortKey="Barta, Robert" sort="Barta, Robert" uniqKey="Barta R" first="Robert" last="Barta">Robert Barta</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/OperaV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001612 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001612 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Musique
|area= OperaV1
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:46C84262A4DDEA6155D2580742B7C4E9768B758F
|texte= Towards a Formal TMQL Semantics
}}
| This area was generated with Dilib version V0.6.21. |  |